ساختن کانونی تابعگون های مکان شناس

در این پایان نامه برای یک کلاس،m‎، از ریخت ها در رستهx ‎، به بررسی خواصی چون، دارای عقب بر (ضعیف)، خوش توانی ‎(ضعیف)‎ و (به طور پایا) موضعا کامل، پرداخته و به کلاس خاصی از ریخت ها، غربال-پیش بافه ای را متناظر می نماییم، که مقادیر آن در شبه رسته،‎prcls‎، از کلاس های جزئاً مرتب است. سپس بین کلاس هایی از ریخت ها با شرایط خاص تر و غربال-پیش بافه هایی که مقادیر آنها در زیر ‎(شبه)‎ رسته هایی از شبه رسته ی کلاس های جزئاً مرتب است، تناظر برقرار می نماییم. بعد از آن به معرفی کنش-تابعگون ها و خواص خیز پذیری و ترتیب پذیری آنها می پردازیم و رابطه بین کنش-تابعگون های خیز پذیر و ترتیب پذیر و رسته ی غربال-پیش بافه ها روی x را بررسی می نماییم. هم چنین کنش تابعگون های مکان شناس را معرفی کرده و با استفاده از خواص آن ها تناظری بین این کنش تابعگون ها و رسته ی غربال-پیش بافه ها روی x‎برقرار می نماییم. سپس ثابت می کنیم که می توان تابعگون های مکان شناس را به عنوان کنش-تابعگون های مکان شناس در نظر گرفت. در پایان پس از معرفی عملگر های بستاری، رابطه ی بین رسته ی عملگرهای بستاری و رسته ی تابعگون های مکان شناس را بیان می نماییم. همچنین به معرفی تعمیمی از سیستم های بستاری و رابطه بین آن ها و پیش بافه های ضعیف می پردازیم. کلمات کلیدی:‎ غربال-پیش بافه (ضعیف)، کنش-تابعگون (خیز پذیر، ترتیب پذیر)، تابعگون مکان شناس، عملگر بستاری، سیستم بستاری